Desarrollo de sistemas interactivos en base a modelos de usuario

o. El diseño de un sistema cooperativo es una tarea compleja por la variedad de matices y propiedades que debe preservar relativas a los usuarios (percepción del grupo), al sistema (sincronización de actividades) y a la propia organización del trabajo (definición de tareas). En este sentido, nos vamos a centrar en el estudio de este tipo de sistemas mediante la ayuda de un modelo formal abstracto que nos permita razonar sobre las propiedades del mismo como paso previo al proceso de diseño. Existe una larga tradición el área de HCI en el uso de métodos formales para el diseño de sistemas interactivos ya que permiten analizar propiedades que conforman los requisitos del sistema. Estos estudios formales se han extendido para el análisis de sistemas cooperativos centrándose principalmente en el diseño de tareas en grupo [17], modelos de coordinación [18], y en la conexión con arquitectura de diseño de software cooperativo. Sin embargo, estos modelos se centran en aspectos parciales del sistema (relaciones entre usuarios y conexión con diseño). Nuestra intención es el análisis de las propiedades inherentes de este tipo de sistemas, por lo que necesitamos un modelo abstracto que nos permita describir el comportamiento externo del sistema sin tener en cuenta su estructura interna. Para ello partimos de un modelo simple (el modelo PIE) de caja negra que describe un sistema interactivo en términos de posibles entradas del usuario y el efecto que éstas producen en el mismo, y vamos a proponer una extensión para recoger la noción de usuarios, tareas y entorno cooperativo. En la figura 2 se muestra el modelo PIE-extendido, en el cual la entrada ∏ = (C x U) es una secuencia de tuplas donde C representa el dominio de órdenes y U el dominio de usuarios, I es la función de interpretación de esas entradas en el dominio de efectos (E), y que a su vez se pueden descomponer en un resultado alcanzado en el sistema (R) y la observación de los efectos en el conjunto de displays D= {d0, d1,..,di} donde el subíndice denota la relación entre el display y usuario. ∏ E I